structure Char =
struct
  type char = char
  type string = string
end
